Minimal Model Generation with respect to an Atom Set
نویسندگان
چکیده
This paper studies minimal model generation for SAT instances. In this study, we minimize models with respect to an atom set, and not to the whole atom set. In order to enumerate minimal models, we use an arbitrary SAT solver as a subroutine which returns models of satisfiable SAT instances. In this way, we benefit from the year-byyear progress of efficient SAT solvers for generating minimal models. As an application, we try to solve job-shop scheduling problems by encoding them into SAT instances whose minimal models represent optimum solutions.
منابع مشابه
Optimal Trajectory Generation for a Robotic Worm via Parameterization by B-Spline Curves
In this paper we intend to generate some set of optimal trajectories according to the number of control points has been applied for parameterizing those using B-spline curves. The trajectories are used to generate an optimal locomotion gait in a crawling worm-like robot. Due to gait design considerations it is desired to minimize the required torques in a cycle of gait. Similar to caterpillars,...
متن کاملOn socle and Property (A) of the f-ring $Frm(mathcal{P}(mathbb R), L)$
A topoframe, denoted by $L_{ tau}$, is a pair $(L, tau)$ consisting of a frame $L$ and a subframe $ tau $ all of whose elements are complementary elements in$L$. $f$-ring $mathcal{R}(L_{ tau})$ is equal to the set $${fin Frm(mathcal{P}(mathbb R), L): f(mathfrak{O}(mathbb R))subseteq tau} .$$ In this paper, for every complemented element $ain L$ with $a, a'...
متن کاملModelface: an application programming interface (API) for homology modeling studies using Modeller software
An interactive application, Modelface, was presented for Modeller software based on windows platform. The application is able to run all steps of homology modeling including pdb to fasta generation, running clustal, model building and loop refinement. Other modules of modeler including energy calculation, energy minimization and the ability to make single point mutations in the PDB structures a...
متن کاملModelface: an application programming interface (API) for homology modeling studies using Modeller software
An interactive application, Modelface, was presented for Modeller software based on windows platform. The application is able to run all steps of homology modeling including pdb to fasta generation, running clustal, model building and loop refinement. Other modules of modeler including energy calculation, energy minimization and the ability to make single point mutations in the PDB structures a...
متن کاملOptimal Trajectory Generation for Energy Consumption Minimization and Moving Obstacle Avoidance of SURENA III Robot’s Arm
In this paper, trajectory generation for the 4 DOF arm of SURENA III humanoid robot with the purpose of optimizing energy and avoiding a moving obstacle is presented. For this purpose, first, kinematic equations for a seven DOF manipulator are derived. Then, using the Lagrange method, an explicit dynamics model for the arm is developed. In the next step, in order to generate the desired traject...
متن کامل